Understanding the difference between virtual machines and Docker